Modelle und Theorie Verteilter SystemeMitteilungen (Detail)
Samstag, 15. Dezember 2012
Artikel "On Distributability in Process Calculi" akzeptiert für ESOP 2012 (Co-Autoren Kirstin Peters, Uwe Nestmann, Ursula Goltz)
Nach oben